SIEVES AND THE MINIMAL RAMIFICATION PROBLEM
نویسندگان
چکیده
منابع مشابه
The Ramification Problem in the Event Calculus
Finding a solution to the frame problem that is robust in the presence of actions with indirect effects has proven to be a difficult task. Examples that feature the instantaneous propagation of interacting indirect effects are particularly taxing. This article shows that an already widely known predicate calculus formalism, namely the event calculus, can handle such examples with only minor enh...
متن کاملThe Ramification Problem in Temporal Databases
The ramification problem is an infamous, hard and ever present problems in databases and, more generally, in systems exhibiting a dynamic behavior. The ramification problem refers to determining the indirect effects of actions. A solution to this problem in database systems permits reasoning about the dynamics of databases and allows proving consistency properties. The ramification problem beco...
متن کاملA Constructive Approach to the Ramification Problem
In the state of the art on the ramification problem, it is acknowledged that ramifications of actions are not logical consequences of state constraints and require explicit representation through causal laws. Yet, causal laws are still tightly coupled with state constraints in that their syntactic form is derived from state constraints or in that they merely serve to restore integrity of state ...
متن کاملID-logic and the Ramification Problem for the Situation Calculus
The goal of this paper is to extend the general solution to the ramification problem for the situation calculus to the case where causal rules specifying indirect effects of actions may form cycles or cycles through negation. We formulate causal dependencies as rules of inductive definitions. Then we give a semantics to a logic for representing inductive definitions (ID-logic) by translating de...
متن کاملthe problem of divine hiddenness
این رساله به مساله احتجاب الهی و مشکلات برهان مبتنی بر این مساله میپردازد. مساله احتجاب الهی مساله ای به قدمت ادیان است که به طور خاصی در مورد ادیان ابراهیمی اهمیت پیدا میکند. در ادیان ابراهیمی با توجه به تعالی خداوند و در عین حال خالقیت و حضور او و سخن گفتن و ارتباط شهودی او با بعضی از انسانهای ساکن زمین مساله ای پدید میاید با پرسشهایی از قبیل اینکه چرا ارتباط مستقیم ویا حداقل ارتباط وافی به ب...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Institute of Mathematics of Jussieu
سال: 2018
ISSN: 1474-7480,1475-3030
DOI: 10.1017/s1474748018000257